Communicating open systems

Communicating Agents in Open Multi Agent Systems

Undecidability of accordance for open systems with unbounded message queues

We study asynchronously communicating open systems modeled as Petri nets with an interface. An accordance preorder describes when one open system can be safely replaced by another open system without affecting some behavioral property of the overall system. Although accordance is decidable for several behavioral properties if we assume a previously known bound on the maximal number of pending m...

A UML Framework for the Dimensioning and Formal Verification of Embedded Systems

The TURTLE UML profile and the open source toolkit TTool define a formal modeling and verification framework for communicating embedded systems design. The paper extends TURTLE and TTool with network calculus techniques. Dimensioning diagrams enable system dimensioning prior to usual object-oriented design and facilitates formal verification of design models. The paper uses a video-conferencing...

Isomorphic Types for Open Coordination Systems

Open coordination systems traditionally force programmers to use a very limited set of types when communicating. As the system is open nothing is known at creation time about which processes will connect, how many of them there will be and what types they will use. This paper describes the first steps in an architecture to allow open systems, such as Linda, to coordinate heterogeneous processes...

A Framework for Systemic Coordination in Open Computational Systems

The material presented in this paper is focused on the characteristics of open computational systems and, in particular, the issue of coordinating behavior in such systems, i.e. systemic coordination. Firstly, we introduce a conceptual framework for characterizing systemic coordination at different levels abstraction. Secondly, challenges and opportunities of this framework is outlined as a mat...

Formalizing Composable Software Systems — A Research Agenda

Flexibility is achieved in open systems by adopting software architectures that allow software components to be easily plugged in, adapted and exchanged. But open systems are generally concurrent, distributed and heterogeneous in addition to being adaptable. Ad hoc approaches to specifying component frameworks can lead to unexpected semantic conflicts. We propose, instead, to develop a rigorous...